Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
311	Notes by David Groisser, Copyright c 1993, revised version[removed]Peano Axioms for the Natural Numbers Add to Reading List Source URL: www.math.ufl.edu Language: English - Date: 2001-09-06 10:32:21 Elementary mathematics Mathematical proofs Proof theory Formal systems Peano axioms Mathematical induction Number system Axiom Natural number Mathematics Mathematical logic Logic
312	Homology, Homotopy and Applications, vol.5(2), 2003, pp.137–209 ON THE GEOMETRY OF INTUITIONISTIC S4 PROOFS Add to Reading List Source URL: www.maths.soton.ac.uk Language: English - Date: 2003-04-22 14:53:24 Logic in computer science Philosophical logic Non-classical logic Propositional calculus Proof theory Combinatory logic Natural deduction Curry–Howard correspondence Modal logic Logic Mathematical logic Mathematics
313	The Method of Vieta Jumping Yimin Ge The Vieta Jumping method, sometimes called root flipping, is a method for Add to Reading List Source URL: www.naxa.it Language: English - Date: 2009-07-09 18:37:22 Number theory Vieta jumping Equations Quadratic equation Mathematical fallacy Infinite descent Mathematics Mathematical proofs Diophantine equations
314	S e c t i o n ! : Mathematical and T h e o r e t i c a l Aspects o f A r t i f i c i a l l n t e l l i q e r . c c CHECKING PROOFS IN THE METAMATHEMATICS OF FIRST ORDER LOGIC Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:17:55 Classical cipher Four-square cipher Computer programming Computing Software engineering
315	C. F. GAUSS’S PROOFS OF THE FUNDAMENTAL THEOREM OF ALGEBRA Add to Reading List Source URL: www.ma.huji.ac.il Language: English - Date: 2005-11-10 07:23:46 Integral calculus Trigonometry Carl Friedrich Gauss Vesta Fundamental theorem of algebra Complex number Polar coordinate system Trigonometric functions Multiple integral Mathematics Mathematical analysis Calculus
316	III. Telescoping Sums and Products Po-Shen Loh June 18, 2003 Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-01-11 20:57:56 Sine Inverse trigonometric functions Proofs of trigonometric identities Trigonometric functions Trigonometry Mathematics Mathematical analysis
317	Constructivism Is Difficult Eric Schechter In a recent issue of this M ONTHLY, Fred Richman [8] discussed existence proofs. Add to Reading List Source URL: www.math.vanderbilt.edu Language: English - Date: 2006-08-02 09:45:32 Mathematical logic Epistemology Intuitionism Philosophy of mathematics Constructivism Constructive proof Mathematical proof Constructive analysis Axiom of choice Mathematics Logic Mathematical constructivism
318	ÎÃ Eﬃcient computational proofs Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2004-07-02 12:52:43 Mathematical optimization Computational complexity theory Conjectures P versus NP problem Structural complexity theory NP Approximation algorithm Theoretical computer science Applied mathematics Complexity classes
319	Two Proofs of the Central Limit Theorem Yuval Filmus January/February 2010 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2010-02-08 01:39:01 Cumulant Normal distribution Moment-generating function Characteristic function Moment Central limit theorem Variance Poisson distribution Random variable Statistics Mathematical analysis Probability theory
320	Langley On the solutions of the generalized Langley’s problems. Add to Reading List Source URL: www.ha.shotoku.ac.jp Language: English - Date: 2008-08-12 22:09:42 Triangle geometry Mathematical proofs Quadrilaterals Geometry Mathematics Euclidean geometry

UPDATE